1. A fuzzy PROLOG database system
Author: Li, Deyi
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
Classification :
QA
76
.
9
.
D3
.
L52
1990
2. Advanced Prolog : techniques and examples
Author: Ross, Peter.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Prolog )Computer program language(
Classification :
QA
76
.
73
.
P76R67
1989
3. Advances in Artifical Intelligence :
Author: edited by Gordon McCalla.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer Science.
Classification :
Q334
.
E358
1996
4. An introduction to logic programming through Prolog /
Author: Michael Spivey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming,Prolog (Computer program language),installation PROLOG,interpréteur PROLOG,programmation en logique,PROLOG,Sémantique
Classification :
QA76
.
63
.
S64
1996
5. Artificial intelligence :
Author: George F. Luger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Códigos de corrección (Teoría de la información).,Inteligencia artificial.,Solución de problemas.
Classification :
Q335
.
L84
2009
6. Artificial intelligence in simulation
Author: FUTO,IVAN
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ARTIFICIAL INTELLIGENCE-SIMULATION , PROLOG )COMPUTER PROGRAM LANGUAGE(, LOGIC PROGRAMMING
Classification :
Q
335
.
F87
7. Catalogue of Artificial Intelligence Tools
Author: edited by Alan Bundy, Lincoln Wallen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
Q336
.
E358
1984
8. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
9. Computer Program Synthesis Methodologies :
Author: edited by Alan W. Biermann, Gérard Guiho.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics.
10. Computing with logic
Author: / David Maier, David S. Warren
Library: Library of College of Science University of Tehran (Tehran)
Subject: Prolog (Computer program language),Logic programming
Classification :
QA
76
.
73
.
P76
M349
1988
11. Computing with logic : logic programming with Prolog
Author: Maier, David, 3591-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Prolog )Computer program language(,، Logic programming
Classification :
QA
76
.
73
.
P76M349
1988
12. Cybernetics and systems '86 :
Author: organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
Classification :
Q300
.
O743
1986
13. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
Classification :
QA
76
.
63
.
I566
1995
14. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
Author: Michael Fisher, Richard Owens )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
Classification :
QA
76
.
63
I566
1995
15. Foundations of Logic Programming
Author: by John Wylie Lloyd.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
QA76
.
6
B956
1984
16. From Logic Programming to Prolog
Author: Apt, Krzysztof.R, Krzysztof R. Apt
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Lagic Programming,، Prolog ) Computer Program Language (
Classification :
QA
76/63
/A67
17. From logic programming to Prolog
Author: Apt, Krzysztof R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Prolog )Computer program language(
Classification :
QA
76
.
63
.
A67
1996
18. From logic programming to Prolog
Author: Apt, Krzysztof R.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming , Prolog )Computer program language(
Classification :
QA
76
.
63
.
A67
1997
19. From logic programming to Prolog
Author: / Krzysztof R. Apt
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Logic programming,Prolog (Computer program language)
Classification :
QA
76
.
73
.
A67
1996
20. From logic programming to prolog.
Author: / Krzysztof R.Apt
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Logic programming,Prolg(Computer program language)
Classification :
QA
76
.
63
.
A67
1996
